|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by McMillan, Ken.
Publication:
. XIV, 794 p. 178 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Hinze, Ralf.
Publication:
. X, 241 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods and Software Engineering
by Groves, Lindsay.
Publication:
. XVIII, 466 p. 136 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Frontiers of Combining Systems
by Fontaine, Pascal.
Publication:
. XII, 359 p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Runtime Verification
by Legay, Axel.
Publication:
. XVII, 426 p. 113 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic Programming and Nonmonotonic Reasoning
by Cabalar, Pedro.
Publication:
. XVIII, 570 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering and Formal Methods
by Hierons, Robert M.
Publication:
. XVIII, 321 p. 113 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods
by Galmiche, Didier.
Publication:
. X, 289 p. 34 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Trends in Functional Programming
by Loidl, Hans-Wolfgang.
Publication:
. X, 311 p. 110 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Beauty of Functional Code
by Achten, Peter.
Publication:
. XIV, 285 p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Structured Object-Oriented Formal Language and Method
by Liu, Shaoying.
Publication:
. X, 149 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
ECOOP 2013 – Object-Oriented Programming
by Castagna, Giuseppe.
Publication:
. XXII, 746 p. 206 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tests and Proofs
by Veanes, Margus.
Publication:
. X, 233 p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Static Analysis
by Logozzo, Francesco.
Publication:
. X, 499 p. 130 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Inductive Logic Programming
by Riguzzi, Fabrizio.
Publication:
. X, 273 p. 81 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic-Based Program Synthesis and Transformation
by Albert, Elvira.
Publication:
. X, 245 p. 36 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Logics
by Voronkov, Andrei.
Publication:
. X, 447 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Generative and Transformational Techniques in Software Engineering IV
by Lämmel, Ralf.
Publication:
. XII, 449 p. 112 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Aspects of Component Software
by Păsăreanu, Corina S.
Publication:
. X, 277 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools for Practical Software Verification
by Meyer, Bertrand.
Publication:
. VIII, 183 p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|